Inspired by him, the logicians followed have made great efforts to realize this dream. Did Frege accomplish it?

后继逻辑学家为了实现这个梦想而奋斗不已，这个梦想在弗雷格那里得到了实现吗？

youdao

Students of languages and of structures of languages, the logicians who design computers, the electronic engineers who build and run them … are now engaged in erecting a new Tower of Anti-Babel.

研究语言和语言结构的学者们，设计计算机的逻辑学家们以及制造和操作计算机的电子工程师们… 正在新建一座反巴别尔塔，以扫除人类之间的语言障碍。

youdao

Now the truth of the premises, and I mentioned this before, is not a interesting matter for logicians or for you.

现在是前提的真理，我之前提到过，这些对逻辑学家和你们都不是有趣的东西。

youdao

Formal proof is a notion developed in the early part of the 20th century by logicians such as Bertrand Russell and Gottlob Frege, along with mathematicians such as David Hilbert (who can fairly be described as the father of modern mathematics) and Nicolas Bourbaki, the pseudonym of a group of French mathematicians who sought to place all of mathematics on a rigorous footing.

ECONOMIST: Just what does it mean to prove something?